\begin{tikzpicture}
  \tikzset{
    matrixstyle/.style={
      matrix of nodes, 
      nodes in empty cells, 
      matrix anchor=north west,
      column 1/.style={text width=1em},
      column 2/.style={text width=12em},
      column 3/.style={text width=12em},
      minimum height=2em,
      nodes={draw, anchor=west, },
      row 3/.style={minimum height=3em},
      row 5/.style={minimum height=3em},
      row 6/.style={minimum height=3em},},
    matrix2style/.style={
        matrix of nodes, 
        nodes in empty cells, 
        matrix anchor=north west,
        nodes={draw, anchor=west, minimum height=2em,text width=2em}},
    rightarrow/.style={
      red, draw, single arrow, thick, scale=0.5,
      text width=2em, 
      anchor=west, rotate=0, xshift=0},
  }
  \matrix [matrixstyle, matrix anchor=north west] at (0,0) (m1)
  {
    \node[align=center]{B};&\node[align=center]{QT[q]};&\node[align=center]{OBJ[p]};\\
    &(1)(+ $a\rm (y)$ $b\rm (y)$ $t_1\rm (y)$)&\textcircled{\footnotesize 1}LD R, $a$ \textcircled{\footnotesize 2}ADD R, $b$\\
    &(2)(- $c\rm (y)$ $d\rm (y)$ $t_2\rm (y)$)&\textcircled{\footnotesize 3}ST R, $t_1$ \textcircled{\footnotesize 4}LD R, $c$ \textcircled{\footnotesize 5}SUB R, $d$\\
    &(3)(* $t_1\rm (y)$ $t_2\rm (n)$ $t_3\rm (y)$)&\textcircled{\footnotesize 6}MUL R, $t_1$\\
    &(4)(- $a\rm (y)$ $t_3\rm (n)$ $t_4\rm (y)$)&\textcircled{\footnotesize 7}ST R, $t_3$ \textcircled{\footnotesize 8}LD R, $a$ \textcircled{\footnotesize 9}SUB R, $t_3$\\
    &(5)(/ $t_1\rm (n)$ 2 $t_5\rm (y)$)&\textcircled{\footnotesize 10}ST R, $t_4$ \textcircled{\footnotesize 11}LD R, $t_1$ \ \ \ \ \ \textcircled{\footnotesize 12}DIV R, 2\\
    &(6)(+ $t_4\rm (n)$ $t_5\rm (n)$ $x\rm (y)$)&\textcircled{\footnotesize 13}ADD R, $t_4$\\
    &\node[align=center]{\ldots};&\\
  };
  \matrix [matrix2style,matrix anchor=north west,xshift=-.75em] at (m1.north east) (m2)
  {
    RDL&SEM\\
    \node[minimum height=17.22em]{};&\node[minimum height=17.22em]{};\\
  };
  \node [anchor=north] at ([yshift=-0em]m2-1-1.south) {\textcolor{red}{\bcancel{\textcolor{black}{$t_1$}}}};
  \node [anchor=north] at ([yshift=-2.5em]m2-1-1.south) {\textcolor{red}{\bcancel{\textcolor{black}{$t_2$}}}};
  \node [anchor=north] at ([yshift=-5.5em]m2-1-1.south) {\textcolor{red}{\bcancel{\textcolor{black}{$t_3$}}}};
  \node [anchor=north] at ([yshift=-8em]m2-1-1.south) {\textcolor{red}{\bcancel{\textcolor{black}{$t_4$}}}};
  \node [anchor=north] at ([yshift=-11em]m2-1-1.south) {\textcolor{red}{\bcancel{\textcolor{black}{$t_5$}}}};
  \node [anchor=north] at ([yshift=-13.5em]m2-1-1.south) {\textcolor{black}{$x$}};
  \node [rightarrow] at (m1-2-1.west) {};
  \node [rightarrow] at (m1-3-1.west) {};
  \node [rightarrow] at (m1-4-1.west) {};
  \node [rightarrow] at (m1-5-1.west) {};
  \node [rightarrow] at (m1-6-1.west) {};
  \node [rightarrow] at (m1-7-1.west) {};
  \draw [-Latex,red] (m2-1-2.south west) -- (m2-1-2.south east);
\end{tikzpicture}